From: Stéphane Glondu <glondu@debian.org>
Date: Sun, 12 Oct 2025 09:54:03 +0000 (+0200)
Subject: Switch debian/watch to version 5
X-Git-Tag: archive/raspbian/5.4.0-1+rpi1^2~20
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=df5517b5fda64b0c430756c1cde69cf0e463f34a;p=ocaml.git

Switch debian/watch to version 5
---

diff --git a/debian/watch b/debian/watch
index 1cb46cf9..9cdc5d98 100644
--- a/debian/watch
+++ b/debian/watch
@@ -1,3 +1,5 @@
-version=4
-opts=uversionmangle=s/\+/~/ \
-https://caml.inria.fr/pub/distrib/ocaml-([\d\.]+)/ocaml-([^-]+)\.tar\.xz
+Version: 5
+
+Source: https://caml.inria.fr/pub/distrib/ocaml-@ANY_VERSION@/
+Matching-Pattern: ocaml-@ANY_VERSION@\.tar\.xz
+Uversionmangle: s/\+/~/